\documentclass[12pt,a4paper,twoside,openright]{book}

\usepackage[english]{babel}
%\usepackage[latin9]{inputenc}
\usepackage{acronym}
\usepackage{graphicx}
\usepackage{frontesp}
\usepackage{rotating}
\usepackage[small,anne]{caption}    % abbellisce lo stile delle didascalie
\usepackage{fancyhdr}
\usepackage{fancybox}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amsthm}
\usepackage{algorithmic}

\usepackage{epsfig}

\usepackage{makeidx}
\headheight 15pt

\author{Christian Pilato}


% Theorem
\newtheorem{definition}{Definition}

\linespread{1.5}
\makeindex
\begin{document}

%\title{An Evolutionary Approach to High-Level Synthesis based on NSGA-II algorithm}
\title{High level synthesis with area constraints for FPGA
        designes: an evolutionary approach}
\providecommand{\autore}{Christian Pilato}                       %candidato
\providecommand{\matricola}{674373}             %matricola candidato
\providecommand{\principaladviser}{Prof.~Fabrizio FERRANDI}  %relatore
\providecommand{\firstreader}{Ing.~Antonino TUMEO}            %correlatore 1
%\providecommand{\secondreader}{Ing.~Antonino TUMEO}            %correlatore 1
\newcommand{\alglabel}[1]{\newcounter{#1}\setcounter{#1}{\value{ALC@line}}}
\newcommand{\algref}[1]{\arabic{#1}}
\providecommand{\annoacc}{2005-2006}
\providecommand{\corso}{Informatica}

\titlep

\frontmatter
\input{chapters/frontespizio/dedica}
%\input{file}

\cleardoublepage

%\nocite{*}
\linespread{1.3}
\newpage
\setcounter{tocdepth}{2}
\pagenumbering{Roman}
\tableofcontents

\listoffigures
%\addcontentsline{toc}{chapter}{List of figures}

\listoftables
%\addcontentsline{toc}{chapter}{List of tables}

\chapter*{Acronyms}
\begin{acronym}
\acro{ASAP}{As Soon As Possible}
\acro{ALAP}{As Late As Possible}
\acro{ALU}{Arithmetic Logic Unit}
\acro{BMC}{Bounded Model Checking}
\acro{BOA}{Bayesian Optimization Algorithm}
\acro{CDG}{Control Dependence Graph}
\acro{CFG}{Control Flow Graph}
\acro{CLB}{Conﬁgurable Logic Block}
\acro{DFG}{Data Flow Graph}
\acro{ECGA}{Extended Compact Genetic Algorithm}
\acro{EDA}{Estimation of Distribution Algorithm}
\acro{FF}{Flip Flop}
\acro{GA}{Genetic Algorithm}
\acro{HLS}{High-Level Synthesis}
\acro{HLSM}{High-Level Synthesis Machine}
\acro{ILP}{Integer Linear Programming}
\acro{IR}{Intermediate Representation}
\acro{FDS}{Force Directed Scheduling}
\acro{FPGA}{Field Programmable Gate Array}
\acro{FSM}{Finite State Machine}
\acro{FSMD}{Finite State Machine with Datapath architecture}
\acro{FSMG}{Finite State Machine Graph}
\acro{LUT}{Look-Up Table}
\acro{MOA}{Multi-objective Optimization Algorithm}
\acro{NFA}{Non-deterministic Finite Automata}
\acro{NPGA}{Niched Pareto Genetic Algorithm}
\acro{NSGA}{Nondominated Sorting Genetic Algorithm}
\acro{PLA}{Programmable Logic Array}
\acro{RTL}{Register Transfer Level}
\acro{SDG}{System Dependence Graph}
\acro{SPGA}{Strength Pareto Genetic Algorithm}
\acro{VLSI}{Very Large Scale Integration}
\acro{XML}{eXtensible Markup Language}

\end{acronym}

\clearpage

\pagestyle{fancy}
%\fancyhead[r]{\slshape \leftmark}
%\fancyhead[l]{}
\fancyhead[el,or]{\slshape \leftmark}
\fancyhead[er,ol]{}

% \fancyhf{}
% \fancyhead[LE,RO]{\textbf{\thepage}}
% \fancyhead[RE]{\nouppercase{\leftmark}} 
% \fancyhead[LO]{\rightmark} 
% \renewcommand{\headrulewidth}{0.5pt}
% \renewcommand{\footrulewidth}{0.5pt}

\mainmatter

\input{chapters/introduction/introduzione}

\input{chapters/introduction/introduction}
\input{chapters/hls/hls}
\input{chapters/state_art/state_art}
\input{chapters/mixed/mixed}
\input{chapters/details/details}
\input{chapters/experimental_results/experimental_results}
\input{chapters/conclusions/conclusions}

\clearpage \lhead{} \chead{} \rhead{}
\renewcommand{\headrulewidth}{0pt}
\input{chapters/frontespizio/ringraziamenti}

\clearpage \addcontentsline{toc}{chapter}{Bibliography}
\bibliographystyle{abbrv}
\bibliography{./chapters/biblio/biblio}

%\printindex

\end{document}
